class A<T : B>(x: T)